3.630 \(\int x^m \left (a+b x^4\right )^3 \, dx\)

Optimal. Leaf size=61 \[ \frac{a^3 x^{m+1}}{m+1}+\frac{3 a^2 b x^{m+5}}{m+5}+\frac{3 a b^2 x^{m+9}}{m+9}+\frac{b^3 x^{m+13}}{m+13} \]

[Out]

(a^3*x^(1 + m))/(1 + m) + (3*a^2*b*x^(5 + m))/(5 + m) + (3*a*b^2*x^(9 + m))/(9 +
m) + (b^3*x^(13 + m))/(13 + m)

_______________________________________________________________________________________

Rubi [A]  time = 0.0574369, antiderivative size = 61, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 1, integrand size = 13, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.077 \[ \frac{a^3 x^{m+1}}{m+1}+\frac{3 a^2 b x^{m+5}}{m+5}+\frac{3 a b^2 x^{m+9}}{m+9}+\frac{b^3 x^{m+13}}{m+13} \]

Antiderivative was successfully verified.

[In]  Int[x^m*(a + b*x^4)^3,x]

[Out]

(a^3*x^(1 + m))/(1 + m) + (3*a^2*b*x^(5 + m))/(5 + m) + (3*a*b^2*x^(9 + m))/(9 +
m) + (b^3*x^(13 + m))/(13 + m)

_______________________________________________________________________________________

Rubi in Sympy [A]  time = 9.99585, size = 53, normalized size = 0.87 \[ \frac{a^{3} x^{m + 1}}{m + 1} + \frac{3 a^{2} b x^{m + 5}}{m + 5} + \frac{3 a b^{2} x^{m + 9}}{m + 9} + \frac{b^{3} x^{m + 13}}{m + 13} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate(x**m*(b*x**4+a)**3,x)

[Out]

a**3*x**(m + 1)/(m + 1) + 3*a**2*b*x**(m + 5)/(m + 5) + 3*a*b**2*x**(m + 9)/(m +
9) + b**3*x**(m + 13)/(m + 13)

_______________________________________________________________________________________

Mathematica [A]  time = 0.0419658, size = 55, normalized size = 0.9 \[ x^m \left (\frac{a^3 x}{m+1}+\frac{3 a^2 b x^5}{m+5}+\frac{3 a b^2 x^9}{m+9}+\frac{b^3 x^{13}}{m+13}\right ) \]

Antiderivative was successfully verified.

[In]  Integrate[x^m*(a + b*x^4)^3,x]

[Out]

x^m*((a^3*x)/(1 + m) + (3*a^2*b*x^5)/(5 + m) + (3*a*b^2*x^9)/(9 + m) + (b^3*x^13
)/(13 + m))

_______________________________________________________________________________________

Maple [B]  time = 0.008, size = 178, normalized size = 2.9 \[{\frac{{x}^{1+m} \left ({b}^{3}{m}^{3}{x}^{12}+15\,{b}^{3}{m}^{2}{x}^{12}+59\,{b}^{3}m{x}^{12}+45\,{b}^{3}{x}^{12}+3\,a{b}^{2}{m}^{3}{x}^{8}+57\,a{b}^{2}{m}^{2}{x}^{8}+249\,a{b}^{2}m{x}^{8}+195\,a{b}^{2}{x}^{8}+3\,{a}^{2}b{m}^{3}{x}^{4}+69\,{a}^{2}b{m}^{2}{x}^{4}+417\,{a}^{2}bm{x}^{4}+351\,{a}^{2}b{x}^{4}+{a}^{3}{m}^{3}+27\,{a}^{3}{m}^{2}+227\,{a}^{3}m+585\,{a}^{3} \right ) }{ \left ( 13+m \right ) \left ( 9+m \right ) \left ( 5+m \right ) \left ( 1+m \right ) }} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int(x^m*(b*x^4+a)^3,x)

[Out]

x^(1+m)*(b^3*m^3*x^12+15*b^3*m^2*x^12+59*b^3*m*x^12+45*b^3*x^12+3*a*b^2*m^3*x^8+
57*a*b^2*m^2*x^8+249*a*b^2*m*x^8+195*a*b^2*x^8+3*a^2*b*m^3*x^4+69*a^2*b*m^2*x^4+
417*a^2*b*m*x^4+351*a^2*b*x^4+a^3*m^3+27*a^3*m^2+227*a^3*m+585*a^3)/(13+m)/(9+m)
/(5+m)/(1+m)

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \text{Exception raised: ValueError} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((b*x^4 + a)^3*x^m,x, algorithm="maxima")

[Out]

Exception raised: ValueError

_______________________________________________________________________________________

Fricas [A]  time = 0.248285, size = 212, normalized size = 3.48 \[ \frac{{\left ({\left (b^{3} m^{3} + 15 \, b^{3} m^{2} + 59 \, b^{3} m + 45 \, b^{3}\right )} x^{13} + 3 \,{\left (a b^{2} m^{3} + 19 \, a b^{2} m^{2} + 83 \, a b^{2} m + 65 \, a b^{2}\right )} x^{9} + 3 \,{\left (a^{2} b m^{3} + 23 \, a^{2} b m^{2} + 139 \, a^{2} b m + 117 \, a^{2} b\right )} x^{5} +{\left (a^{3} m^{3} + 27 \, a^{3} m^{2} + 227 \, a^{3} m + 585 \, a^{3}\right )} x\right )} x^{m}}{m^{4} + 28 \, m^{3} + 254 \, m^{2} + 812 \, m + 585} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((b*x^4 + a)^3*x^m,x, algorithm="fricas")

[Out]

((b^3*m^3 + 15*b^3*m^2 + 59*b^3*m + 45*b^3)*x^13 + 3*(a*b^2*m^3 + 19*a*b^2*m^2 +
83*a*b^2*m + 65*a*b^2)*x^9 + 3*(a^2*b*m^3 + 23*a^2*b*m^2 + 139*a^2*b*m + 117*a^
2*b)*x^5 + (a^3*m^3 + 27*a^3*m^2 + 227*a^3*m + 585*a^3)*x)*x^m/(m^4 + 28*m^3 + 2
54*m^2 + 812*m + 585)

_______________________________________________________________________________________

Sympy [A]  time = 18.2702, size = 683, normalized size = 11.2 \[ \begin{cases} - \frac{a^{3}}{12 x^{12}} - \frac{3 a^{2} b}{8 x^{8}} - \frac{3 a b^{2}}{4 x^{4}} + b^{3} \log{\left (x \right )} & \text{for}\: m = -13 \\- \frac{a^{3}}{8 x^{8}} - \frac{3 a^{2} b}{4 x^{4}} + 3 a b^{2} \log{\left (x \right )} + \frac{b^{3} x^{4}}{4} & \text{for}\: m = -9 \\- \frac{a^{3}}{4 x^{4}} + 3 a^{2} b \log{\left (x \right )} + \frac{3 a b^{2} x^{4}}{4} + \frac{b^{3} x^{8}}{8} & \text{for}\: m = -5 \\a^{3} \log{\left (x \right )} + \frac{3 a^{2} b x^{4}}{4} + \frac{3 a b^{2} x^{8}}{8} + \frac{b^{3} x^{12}}{12} & \text{for}\: m = -1 \\\frac{a^{3} m^{3} x x^{m}}{m^{4} + 28 m^{3} + 254 m^{2} + 812 m + 585} + \frac{27 a^{3} m^{2} x x^{m}}{m^{4} + 28 m^{3} + 254 m^{2} + 812 m + 585} + \frac{227 a^{3} m x x^{m}}{m^{4} + 28 m^{3} + 254 m^{2} + 812 m + 585} + \frac{585 a^{3} x x^{m}}{m^{4} + 28 m^{3} + 254 m^{2} + 812 m + 585} + \frac{3 a^{2} b m^{3} x^{5} x^{m}}{m^{4} + 28 m^{3} + 254 m^{2} + 812 m + 585} + \frac{69 a^{2} b m^{2} x^{5} x^{m}}{m^{4} + 28 m^{3} + 254 m^{2} + 812 m + 585} + \frac{417 a^{2} b m x^{5} x^{m}}{m^{4} + 28 m^{3} + 254 m^{2} + 812 m + 585} + \frac{351 a^{2} b x^{5} x^{m}}{m^{4} + 28 m^{3} + 254 m^{2} + 812 m + 585} + \frac{3 a b^{2} m^{3} x^{9} x^{m}}{m^{4} + 28 m^{3} + 254 m^{2} + 812 m + 585} + \frac{57 a b^{2} m^{2} x^{9} x^{m}}{m^{4} + 28 m^{3} + 254 m^{2} + 812 m + 585} + \frac{249 a b^{2} m x^{9} x^{m}}{m^{4} + 28 m^{3} + 254 m^{2} + 812 m + 585} + \frac{195 a b^{2} x^{9} x^{m}}{m^{4} + 28 m^{3} + 254 m^{2} + 812 m + 585} + \frac{b^{3} m^{3} x^{13} x^{m}}{m^{4} + 28 m^{3} + 254 m^{2} + 812 m + 585} + \frac{15 b^{3} m^{2} x^{13} x^{m}}{m^{4} + 28 m^{3} + 254 m^{2} + 812 m + 585} + \frac{59 b^{3} m x^{13} x^{m}}{m^{4} + 28 m^{3} + 254 m^{2} + 812 m + 585} + \frac{45 b^{3} x^{13} x^{m}}{m^{4} + 28 m^{3} + 254 m^{2} + 812 m + 585} & \text{otherwise} \end{cases} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(x**m*(b*x**4+a)**3,x)

[Out]

Piecewise((-a**3/(12*x**12) - 3*a**2*b/(8*x**8) - 3*a*b**2/(4*x**4) + b**3*log(x
), Eq(m, -13)), (-a**3/(8*x**8) - 3*a**2*b/(4*x**4) + 3*a*b**2*log(x) + b**3*x**
4/4, Eq(m, -9)), (-a**3/(4*x**4) + 3*a**2*b*log(x) + 3*a*b**2*x**4/4 + b**3*x**8
/8, Eq(m, -5)), (a**3*log(x) + 3*a**2*b*x**4/4 + 3*a*b**2*x**8/8 + b**3*x**12/12
, Eq(m, -1)), (a**3*m**3*x*x**m/(m**4 + 28*m**3 + 254*m**2 + 812*m + 585) + 27*a
**3*m**2*x*x**m/(m**4 + 28*m**3 + 254*m**2 + 812*m + 585) + 227*a**3*m*x*x**m/(m
**4 + 28*m**3 + 254*m**2 + 812*m + 585) + 585*a**3*x*x**m/(m**4 + 28*m**3 + 254*
m**2 + 812*m + 585) + 3*a**2*b*m**3*x**5*x**m/(m**4 + 28*m**3 + 254*m**2 + 812*m
+ 585) + 69*a**2*b*m**2*x**5*x**m/(m**4 + 28*m**3 + 254*m**2 + 812*m + 585) + 4
17*a**2*b*m*x**5*x**m/(m**4 + 28*m**3 + 254*m**2 + 812*m + 585) + 351*a**2*b*x**
5*x**m/(m**4 + 28*m**3 + 254*m**2 + 812*m + 585) + 3*a*b**2*m**3*x**9*x**m/(m**4
+ 28*m**3 + 254*m**2 + 812*m + 585) + 57*a*b**2*m**2*x**9*x**m/(m**4 + 28*m**3
+ 254*m**2 + 812*m + 585) + 249*a*b**2*m*x**9*x**m/(m**4 + 28*m**3 + 254*m**2 +
812*m + 585) + 195*a*b**2*x**9*x**m/(m**4 + 28*m**3 + 254*m**2 + 812*m + 585) +
b**3*m**3*x**13*x**m/(m**4 + 28*m**3 + 254*m**2 + 812*m + 585) + 15*b**3*m**2*x*
*13*x**m/(m**4 + 28*m**3 + 254*m**2 + 812*m + 585) + 59*b**3*m*x**13*x**m/(m**4
+ 28*m**3 + 254*m**2 + 812*m + 585) + 45*b**3*x**13*x**m/(m**4 + 28*m**3 + 254*m
**2 + 812*m + 585), True))

_______________________________________________________________________________________

GIAC/XCAS [A]  time = 0.231584, size = 346, normalized size = 5.67 \[ \frac{b^{3} m^{3} x^{13} e^{\left (m{\rm ln}\left (x\right )\right )} + 15 \, b^{3} m^{2} x^{13} e^{\left (m{\rm ln}\left (x\right )\right )} + 59 \, b^{3} m x^{13} e^{\left (m{\rm ln}\left (x\right )\right )} + 45 \, b^{3} x^{13} e^{\left (m{\rm ln}\left (x\right )\right )} + 3 \, a b^{2} m^{3} x^{9} e^{\left (m{\rm ln}\left (x\right )\right )} + 57 \, a b^{2} m^{2} x^{9} e^{\left (m{\rm ln}\left (x\right )\right )} + 249 \, a b^{2} m x^{9} e^{\left (m{\rm ln}\left (x\right )\right )} + 195 \, a b^{2} x^{9} e^{\left (m{\rm ln}\left (x\right )\right )} + 3 \, a^{2} b m^{3} x^{5} e^{\left (m{\rm ln}\left (x\right )\right )} + 69 \, a^{2} b m^{2} x^{5} e^{\left (m{\rm ln}\left (x\right )\right )} + 417 \, a^{2} b m x^{5} e^{\left (m{\rm ln}\left (x\right )\right )} + 351 \, a^{2} b x^{5} e^{\left (m{\rm ln}\left (x\right )\right )} + a^{3} m^{3} x e^{\left (m{\rm ln}\left (x\right )\right )} + 27 \, a^{3} m^{2} x e^{\left (m{\rm ln}\left (x\right )\right )} + 227 \, a^{3} m x e^{\left (m{\rm ln}\left (x\right )\right )} + 585 \, a^{3} x e^{\left (m{\rm ln}\left (x\right )\right )}}{m^{4} + 28 \, m^{3} + 254 \, m^{2} + 812 \, m + 585} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((b*x^4 + a)^3*x^m,x, algorithm="giac")

[Out]

(b^3*m^3*x^13*e^(m*ln(x)) + 15*b^3*m^2*x^13*e^(m*ln(x)) + 59*b^3*m*x^13*e^(m*ln(
x)) + 45*b^3*x^13*e^(m*ln(x)) + 3*a*b^2*m^3*x^9*e^(m*ln(x)) + 57*a*b^2*m^2*x^9*e
^(m*ln(x)) + 249*a*b^2*m*x^9*e^(m*ln(x)) + 195*a*b^2*x^9*e^(m*ln(x)) + 3*a^2*b*m
^3*x^5*e^(m*ln(x)) + 69*a^2*b*m^2*x^5*e^(m*ln(x)) + 417*a^2*b*m*x^5*e^(m*ln(x))
+ 351*a^2*b*x^5*e^(m*ln(x)) + a^3*m^3*x*e^(m*ln(x)) + 27*a^3*m^2*x*e^(m*ln(x)) +
227*a^3*m*x*e^(m*ln(x)) + 585*a^3*x*e^(m*ln(x)))/(m^4 + 28*m^3 + 254*m^2 + 812*
m + 585)